Я сейчас поддерживаю и развиваю компилятор VHDL, оставленный мне в наследство руководителем, сделавшим AST не типизированным, программистом, делавшим всё "на отвалите от меня" и бывшим инженером-электронщиком. Последние два уволились. Поверх VHDL мне надо добавить поддержку Верилога ( Read more... )

Verilog это 1985 год, на два года позже VHDL, который был основан на языке Ada, принятом в 1979 году ( Read more... )

В директивах препроцессора языка Verilog есть замечательные конструкции `begin_keywords "имя стандарта" и `end_keywords. Внутри этих скобок меняются правила распознавания ключевых слов. В результате идентификатор, например, poluhren становится ключевым словом ( Read more... )

В язычке, что я плавно и не торопясь делаю, есть комбинаторы &&& и ( Read more... )

Он же Проект Ку.

Язык для описания аппаратуры, с CSP в качестве основы.

Получается довольно забавно:
-- |A buffer delay for one clock tick.
bufP :: BitRepr a => Process (a :. Nil) (a :. Nil)
bufP = process "buf" ("input" :. Nil) ("output" :. Nil) $ \(input :. Nil) (output :. Nil) -> do
t <- def "temp"
hasValue <- def "hasValue ( Read more... )

Надо будет оформить.

PS
Почти CSP. Все-таки каналы будут явными.
PPS
И главное - сумел придумать, как делать комбинационную логику!

http://danluu.github.io/blog/2013/09/07/why-hardware-development-is-hard/

As a software engineer, how would you feel if 99% of valid Java code ended up being translated to something that produced random results, even though tests pass on the ( Read more... )

CAPH, это именно он.

Проблем у него несколько: нельзя задавать свои типы, даже хотя бы кортежи; потоки обрамлены в скобки ('< - начало потока, '> - конец его), это означает, что на начало и конец потока тратится один такт; поток потоков (например, изображение) не отличается типом от просто потока (строки изображения ( Read more... )

Верилог:
assign q= x?b:z; // ошибка "syntax error next to b..."
assign q= x ? b : z; // нет ошибки.Это вот что надо было есть, чтобы такое придумать?

На данный момент я работаю в Quartus II, с системой в 11М верилоговских файлов размером ( Read more... )